Weak Congruence Identities at 0
نویسندگان
چکیده
The aim of the paper is to investigate some local properties of the weak congruence lattice of an algebra, which is supposed to possess the constant 0, or a nullary term operation. Lattice identities are restricted to the zero blocks of weak congruences. In this way, a local version of the CEP, and local modularity and distributivity of the weak congruence lattices are characterized. In addition, local satisfaction by weak congruences of some general lattice identities is proved. AMS Mathematics Subject Classification (2000): 08A30, 08A05.
منابع مشابه
Tau laws for pi calculus
The paper investigates the non-symbolic algebraic semantics of the weak bisimulation congruenceson finite pi processes. The weak bisimulation congruences are studied both in the absence and inthe presence of the mismatch operator. Some interesting phenomena about the open congruences arerevealed. Several new tau laws are discovered and their relationship is discussed. The contributi...
متن کاملOn bounded weak approximate identities and a new version of them
In this paper, we give a short survey of results and problems concerning the notion of bounded weak approximate identities in Banach algebras. Also, we introduce a new version of approximate identities and give one illuminating example to show the difference.
متن کاملFinite Basis Theorems for Relatively Congruence-distributive Quasivarieties
Q is any quasivariety. A congruence relation 0 on a member A of Q is a Q-congruence if A/0 G Q. The set CouqA. of all Qcongruences is closed under arbitrary intersection and hence forms a complete lattice Cong A. Q. is relatively congruence-distributive if ConjA is distributive for every A e Q.. Relatively congruence-distributive quasivarieties occur naturally in the theory of abstract data typ...
متن کاملRelatively Congruence Modular Quasivarieties of Modules
We show that the quasiequational theory of a relatively congruence modular quasivariety of left R-modules is determined by a two-sided ideal in R together with a filter of left ideals. The two-sided ideal encodes the identities that hold in the quasivariety, while the filter of left ideals encodes the quasiidentities. The filter of left ideals defines a generalized notion of torsion. It follows...
متن کاملCongruence and Quantum Invariants of 3-manifolds
Let f be an integer greater than one. We study three progressively finer equivalence relations on closed 3-manifolds generated by Dehn surgery with denominator f : weak f -congruence, f -congruence, and strong f -congruence. If f is odd, weak f -congruence preserves the ring structure on cohomology with Zf -coefficients. We show that strong f -congruence coincides with a relation previously stu...
متن کامل